The German Sz42 Cipher Machine Explained